linear integer programming solved by the software Search Results